Free variables and bound variables - PDFSEARCH.IO - Document Search Engine

Free variables and bound variables
Results: 147

#	Item
81	Correcting A Widespread Error in Unification Algorithms PETER NORVIG Computer Science Division, University of California, Berkeley, CA 94720, USA Summary Add to Reading List Source URL: www.norvig.com Language: English - Date: 2003-10-26 19:35:31 Logic programming Computing Unification Static single assignment form Subst Free variables and bound variables Assignment Occurs check Resolution Automated theorem proving Mathematics Software engineering
82	Binders Unbound Stephanie Weirich Brent A. Yorgey Tim Sheard Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Lambda calculus Logic Predicate logic Computability theory De Bruijn index Free variables and bound variables Closure Monad Combinatory logic Mathematics Software engineering Computing
83	Formal Neighbourhoods, Combinatory B¨ohm Trees, and Untyped Normalization by Evaluation Peter Dybjer∗and Denis Kuperberg† February 29, 2008 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:51 Computer science Normalisation by evaluation Combinatory logic Fixed-point combinator Simply typed lambda calculus Denotational semantics Free variables and bound variables Functional programming Standard ML Theoretical computer science Lambda calculus Mathematics
84	Extracted from: The VimL Primer Edit Like a Pro with Vim Plugins and Scripts This PDF file contains pages extracted from The VimL Primer, published by the Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2015-01-13 12:15:57 Subroutines Scripting languages Data types Source code Control flow Eval Function Parameter Free variables and bound variables Computing Software engineering Computer programming
85	The views, conclusions, or recommendations expressed in this document do not necessarily reflect the official views or policies of agencies of the United States Government. This document was produced by SDC and III in p Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2012-06-26 22:26:19 Data types Variables Elementary mathematics Procedural programming languages Lisp programming language Lisp Free variables and bound variables ALGOL 68 Pointer Software engineering Computing Computer programming
86	The views, conclusions, or recommendations expressed in this document do not necessarily reflect the official views or policies of agencies of the United States Government. This document was produced by SDC and III in p Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2012-06-26 22:26:19 Data types Variables Elementary mathematics Procedural programming languages Lisp programming language Lisp Free variables and bound variables ALGOL 68 Pointer Software engineering Computing Computer programming
87	cKanren miniKanren with Constraints Claire E. Alvis Jeremiah J. Willcock Kyle M. Carter William E. Byrd Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-11-05 13:18:14 Computer programming Constraint logic programming Function Constraint satisfaction problem FO Free variables and bound variables Sheaf AC-3 algorithm Constraint satisfaction Constraint programming Software engineering Mathematics
88	Automatic Mutual Exclusion and Atomicity Checks Mart´ın Abadi1,2 1 2 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 20:04:04 Predicate logic Models of computation Formal methods Computability theory Lambda calculus Theoretical computer science Mereology Modal logic Free variables and bound variables Logic Mathematics Mathematical logic
89	1 Minimal Pronouns Angelika Kratzer University of Massachusetts at Amherst Add to Reading List Source URL: www.cssp.cnrs.fr Language: English - Date: 2010-11-22 10:35:16 Pronoun German verbs German pronouns Spanish pronouns Singular they Relative clause Grammatical person Free variables and bound variables Inflection Linguistics Grammar Linguistic typology
90	To appear in Thought, Reference and Experience: Themes from the Philosophy of Gareth Evans. Ed. J. L. Bermudez. Oxford: Oxford University Press. Abandoning Coreference* Ken Safir, Rutgers University It seems that when th Add to Reading List Source URL: ruccs.rutgers.edu Language: English - Date: 2014-06-27 15:28:39 Pragmatics Semantics Coreference Personal pronouns Anaphora Pronoun Antecedent Free variables and bound variables Reflexive pronoun Syntax Linguistics Philosophy of language